package folexpr;

import javax.swing.WindowConstants;

import folexpr.compiler.CompilerFrontEnd;
import folexpr.presentation.FOLExprObserver2;

/**
 * @author Paolo Gentili
 */
public class FOLExprGui
{
	private static FOLExprObserver2 folexpr_obs2;
		
	public static void main(String[] args)
	{
		CompilerFrontEnd compiler = new CompilerFrontEnd();
		folexpr_obs2 = new FOLExprObserver2(compiler);
		folexpr_obs2.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
		folexpr_obs2.setVisible(true);
	}

}